# Formal Logic

- [[see also]] [[mathematical logic]]